Optimal. Leaf size=137 \[ -\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {4 b n \left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_3\left (-d f x^m\right )}{m^2}-\frac {12 b^2 n^2 \left (a+b \log \left (c x^n\right )\right )^2 \text {Li}_4\left (-d f x^m\right )}{m^3}+\frac {24 b^3 n^3 \left (a+b \log \left (c x^n\right )\right ) \text {Li}_5\left (-d f x^m\right )}{m^4}-\frac {24 b^4 n^4 \text {Li}_6\left (-d f x^m\right )}{m^5} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 137, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 3, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.107, Rules used = {2421, 2430,
6724} \begin {gather*} \frac {24 b^3 n^3 \text {PolyLog}\left (5,-d f x^m\right ) \left (a+b \log \left (c x^n\right )\right )}{m^4}-\frac {12 b^2 n^2 \text {PolyLog}\left (4,-d f x^m\right ) \left (a+b \log \left (c x^n\right )\right )^2}{m^3}+\frac {4 b n \text {PolyLog}\left (3,-d f x^m\right ) \left (a+b \log \left (c x^n\right )\right )^3}{m^2}-\frac {\text {PolyLog}\left (2,-d f x^m\right ) \left (a+b \log \left (c x^n\right )\right )^4}{m}-\frac {24 b^4 n^4 \text {PolyLog}\left (6,-d f x^m\right )}{m^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2421
Rule 2430
Rule 6724
Rubi steps
\begin {align*} \int \frac {\left (a+b \log \left (c x^n\right )\right )^4 \log \left (d \left (\frac {1}{d}+f x^m\right )\right )}{x} \, dx &=-\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {(4 b n) \int \frac {\left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_2\left (-d f x^m\right )}{x} \, dx}{m}\\ &=-\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {4 b n \left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_3\left (-d f x^m\right )}{m^2}-\frac {\left (12 b^2 n^2\right ) \int \frac {\left (a+b \log \left (c x^n\right )\right )^2 \text {Li}_3\left (-d f x^m\right )}{x} \, dx}{m^2}\\ &=-\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {4 b n \left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_3\left (-d f x^m\right )}{m^2}-\frac {12 b^2 n^2 \left (a+b \log \left (c x^n\right )\right )^2 \text {Li}_4\left (-d f x^m\right )}{m^3}+\frac {\left (24 b^3 n^3\right ) \int \frac {\left (a+b \log \left (c x^n\right )\right ) \text {Li}_4\left (-d f x^m\right )}{x} \, dx}{m^3}\\ &=-\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {4 b n \left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_3\left (-d f x^m\right )}{m^2}-\frac {12 b^2 n^2 \left (a+b \log \left (c x^n\right )\right )^2 \text {Li}_4\left (-d f x^m\right )}{m^3}+\frac {24 b^3 n^3 \left (a+b \log \left (c x^n\right )\right ) \text {Li}_5\left (-d f x^m\right )}{m^4}-\frac {\left (24 b^4 n^4\right ) \int \frac {\text {Li}_5\left (-d f x^m\right )}{x} \, dx}{m^4}\\ &=-\frac {\left (a+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (-d f x^m\right )}{m}+\frac {4 b n \left (a+b \log \left (c x^n\right )\right )^3 \text {Li}_3\left (-d f x^m\right )}{m^2}-\frac {12 b^2 n^2 \left (a+b \log \left (c x^n\right )\right )^2 \text {Li}_4\left (-d f x^m\right )}{m^3}+\frac {24 b^3 n^3 \left (a+b \log \left (c x^n\right )\right ) \text {Li}_5\left (-d f x^m\right )}{m^4}-\frac {24 b^4 n^4 \text {Li}_6\left (-d f x^m\right )}{m^5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(1700\) vs. \(2(137)=274\).
time = 0.44, size = 1700, normalized size = 12.41 \begin {gather*} -\frac {2}{3} a^3 b m n \log ^3(x)+\frac {3}{2} a^2 b^2 m n^2 \log ^4(x)-\frac {6}{5} a b^3 m n^3 \log ^5(x)+\frac {1}{3} b^4 m n^4 \log ^6(x)-2 a^2 b^2 m n \log ^3(x) \log \left (c x^n\right )+3 a b^3 m n^2 \log ^4(x) \log \left (c x^n\right )-\frac {6}{5} b^4 m n^3 \log ^5(x) \log \left (c x^n\right )-2 a b^3 m n \log ^3(x) \log ^2\left (c x^n\right )+\frac {3}{2} b^4 m n^2 \log ^4(x) \log ^2\left (c x^n\right )-\frac {2}{3} b^4 m n \log ^3(x) \log ^3\left (c x^n\right )-2 a^3 b n \log ^2(x) \log \left (1+\frac {x^{-m}}{d f}\right )+4 a^2 b^2 n^2 \log ^3(x) \log \left (1+\frac {x^{-m}}{d f}\right )-3 a b^3 n^3 \log ^4(x) \log \left (1+\frac {x^{-m}}{d f}\right )+\frac {4}{5} b^4 n^4 \log ^5(x) \log \left (1+\frac {x^{-m}}{d f}\right )-6 a^2 b^2 n \log ^2(x) \log \left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )+8 a b^3 n^2 \log ^3(x) \log \left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )-3 b^4 n^3 \log ^4(x) \log \left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )-6 a b^3 n \log ^2(x) \log ^2\left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )+4 b^4 n^2 \log ^3(x) \log ^2\left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )-2 b^4 n \log ^2(x) \log ^3\left (c x^n\right ) \log \left (1+\frac {x^{-m}}{d f}\right )+2 a^3 b n \log ^2(x) \log \left (1+d f x^m\right )-4 a^2 b^2 n^2 \log ^3(x) \log \left (1+d f x^m\right )+3 a b^3 n^3 \log ^4(x) \log \left (1+d f x^m\right )-\frac {4}{5} b^4 n^4 \log ^5(x) \log \left (1+d f x^m\right )+\frac {a^4 \log \left (-d f x^m\right ) \log \left (1+d f x^m\right )}{m}-\frac {4 a^3 b n \log (x) \log \left (-d f x^m\right ) \log \left (1+d f x^m\right )}{m}+\frac {6 a^2 b^2 n^2 \log ^2(x) \log \left (-d f x^m\right ) \log \left (1+d f x^m\right )}{m}-\frac {4 a b^3 n^3 \log ^3(x) \log \left (-d f x^m\right ) \log \left (1+d f x^m\right )}{m}+\frac {b^4 n^4 \log ^4(x) \log \left (-d f x^m\right ) \log \left (1+d f x^m\right )}{m}+6 a^2 b^2 n \log ^2(x) \log \left (c x^n\right ) \log \left (1+d f x^m\right )-8 a b^3 n^2 \log ^3(x) \log \left (c x^n\right ) \log \left (1+d f x^m\right )+3 b^4 n^3 \log ^4(x) \log \left (c x^n\right ) \log \left (1+d f x^m\right )+\frac {4 a^3 b \log \left (-d f x^m\right ) \log \left (c x^n\right ) \log \left (1+d f x^m\right )}{m}-\frac {12 a^2 b^2 n \log (x) \log \left (-d f x^m\right ) \log \left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+\frac {12 a b^3 n^2 \log ^2(x) \log \left (-d f x^m\right ) \log \left (c x^n\right ) \log \left (1+d f x^m\right )}{m}-\frac {4 b^4 n^3 \log ^3(x) \log \left (-d f x^m\right ) \log \left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+6 a b^3 n \log ^2(x) \log ^2\left (c x^n\right ) \log \left (1+d f x^m\right )-4 b^4 n^2 \log ^3(x) \log ^2\left (c x^n\right ) \log \left (1+d f x^m\right )+\frac {6 a^2 b^2 \log \left (-d f x^m\right ) \log ^2\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}-\frac {12 a b^3 n \log (x) \log \left (-d f x^m\right ) \log ^2\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+\frac {6 b^4 n^2 \log ^2(x) \log \left (-d f x^m\right ) \log ^2\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+2 b^4 n \log ^2(x) \log ^3\left (c x^n\right ) \log \left (1+d f x^m\right )+\frac {4 a b^3 \log \left (-d f x^m\right ) \log ^3\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}-\frac {4 b^4 n \log (x) \log \left (-d f x^m\right ) \log ^3\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+\frac {b^4 \log \left (-d f x^m\right ) \log ^4\left (c x^n\right ) \log \left (1+d f x^m\right )}{m}+\frac {b n \log (x) \left (-b^3 n^3 \log ^3(x)+4 b^2 n^2 \log ^2(x) \left (a+b \log \left (c x^n\right )\right )-6 b n \log (x) \left (a+b \log \left (c x^n\right )\right )^2+4 \left (a+b \log \left (c x^n\right )\right )^3\right ) \text {Li}_2\left (-\frac {x^{-m}}{d f}\right )}{m}+\frac {\left (a-b n \log (x)+b \log \left (c x^n\right )\right )^4 \text {Li}_2\left (1+d f x^m\right )}{m}+\frac {4 a^3 b n \text {Li}_3\left (-\frac {x^{-m}}{d f}\right )}{m^2}+\frac {12 a^2 b^2 n \log \left (c x^n\right ) \text {Li}_3\left (-\frac {x^{-m}}{d f}\right )}{m^2}+\frac {12 a b^3 n \log ^2\left (c x^n\right ) \text {Li}_3\left (-\frac {x^{-m}}{d f}\right )}{m^2}+\frac {4 b^4 n \log ^3\left (c x^n\right ) \text {Li}_3\left (-\frac {x^{-m}}{d f}\right )}{m^2}+\frac {12 a^2 b^2 n^2 \text {Li}_4\left (-\frac {x^{-m}}{d f}\right )}{m^3}+\frac {24 a b^3 n^2 \log \left (c x^n\right ) \text {Li}_4\left (-\frac {x^{-m}}{d f}\right )}{m^3}+\frac {12 b^4 n^2 \log ^2\left (c x^n\right ) \text {Li}_4\left (-\frac {x^{-m}}{d f}\right )}{m^3}+\frac {24 a b^3 n^3 \text {Li}_5\left (-\frac {x^{-m}}{d f}\right )}{m^4}+\frac {24 b^4 n^3 \log \left (c x^n\right ) \text {Li}_5\left (-\frac {x^{-m}}{d f}\right )}{m^4}+\frac {24 b^4 n^4 \text {Li}_6\left (-\frac {x^{-m}}{d f}\right )}{m^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.59, size = 38574, normalized size = 281.56
method | result | size |
risch | \(\text {Expression too large to display}\) | \(38574\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 523 vs.
\(2 (136) = 272\).
time = 0.36, size = 523, normalized size = 3.82 \begin {gather*} -\frac {24 \, b^{4} n^{4} {\rm polylog}\left (6, -d f x^{m}\right ) + {\left (b^{4} m^{4} n^{4} \log \left (x\right )^{4} + b^{4} m^{4} \log \left (c\right )^{4} + 4 \, a b^{3} m^{4} \log \left (c\right )^{3} + 6 \, a^{2} b^{2} m^{4} \log \left (c\right )^{2} + 4 \, a^{3} b m^{4} \log \left (c\right ) + a^{4} m^{4} + 4 \, {\left (b^{4} m^{4} n^{3} \log \left (c\right ) + a b^{3} m^{4} n^{3}\right )} \log \left (x\right )^{3} + 6 \, {\left (b^{4} m^{4} n^{2} \log \left (c\right )^{2} + 2 \, a b^{3} m^{4} n^{2} \log \left (c\right ) + a^{2} b^{2} m^{4} n^{2}\right )} \log \left (x\right )^{2} + 4 \, {\left (b^{4} m^{4} n \log \left (c\right )^{3} + 3 \, a b^{3} m^{4} n \log \left (c\right )^{2} + 3 \, a^{2} b^{2} m^{4} n \log \left (c\right ) + a^{3} b m^{4} n\right )} \log \left (x\right )\right )} {\rm Li}_2\left (-d f x^{m}\right ) - 24 \, {\left (b^{4} m n^{4} \log \left (x\right ) + b^{4} m n^{3} \log \left (c\right ) + a b^{3} m n^{3}\right )} {\rm polylog}\left (5, -d f x^{m}\right ) + 12 \, {\left (b^{4} m^{2} n^{4} \log \left (x\right )^{2} + b^{4} m^{2} n^{2} \log \left (c\right )^{2} + 2 \, a b^{3} m^{2} n^{2} \log \left (c\right ) + a^{2} b^{2} m^{2} n^{2} + 2 \, {\left (b^{4} m^{2} n^{3} \log \left (c\right ) + a b^{3} m^{2} n^{3}\right )} \log \left (x\right )\right )} {\rm polylog}\left (4, -d f x^{m}\right ) - 4 \, {\left (b^{4} m^{3} n^{4} \log \left (x\right )^{3} + b^{4} m^{3} n \log \left (c\right )^{3} + 3 \, a b^{3} m^{3} n \log \left (c\right )^{2} + 3 \, a^{2} b^{2} m^{3} n \log \left (c\right ) + a^{3} b m^{3} n + 3 \, {\left (b^{4} m^{3} n^{3} \log \left (c\right ) + a b^{3} m^{3} n^{3}\right )} \log \left (x\right )^{2} + 3 \, {\left (b^{4} m^{3} n^{2} \log \left (c\right )^{2} + 2 \, a b^{3} m^{3} n^{2} \log \left (c\right ) + a^{2} b^{2} m^{3} n^{2}\right )} \log \left (x\right )\right )} {\rm polylog}\left (3, -d f x^{m}\right )}{m^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\ln \left (d\,\left (f\,x^m+\frac {1}{d}\right )\right )\,{\left (a+b\,\ln \left (c\,x^n\right )\right )}^4}{x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________